$\forall$$L$:$\mathbb{Z}$ List, $a$:$\mathbb{Z}$. 0$<\parallel$$L$$\parallel$ $\Rightarrow$ (imax{-}list($L$)$\leq$$a$ $\Leftrightarrow$ ($\forall$$b$$\in$$L$. $b$$\leq$$a$))